Search Results
Axiomatic Programming: From Euclidean Deductions to C++ Templates and Beyond
Templates and Metaprogramming
Advanced C++ Cookbook | 12. A Closer Look at Type Deduction
Axiom Deduct Usage
Stephan T. Lavavej: Core C++, 2 of n
Concepts Extending C++ Templates For Generic Programming
Jean Yang on An Axiomatic Basis for Computer Programming
Zoltan Porkolab: Debugging and Profiling C++ Template Metaprograms
Compile time meets runtime - Template Metaprogramming in C++ - E7
Core C++, 3 of n
Petter Holmberg: The Dark Art Of Type Functions
Egoutism: Definitions, Axioms, Deductions/Theorems